Θεώρημα Γκορστάιν–Χαράντα
Στην πεπερασμένη θεωρία ομάδων, το θεώρημα Γκορστάιν–Χαράντα αποδείχθηκε από τους Harada (1973, 1974) σε 464 σελίδες χαρτί, κατατάσσοντας τις πεπερασμένες απλές ομάδες σε τμηματικές 2-rank 4. Είναι μέρος της ταξινόμησης των πεπερασμένων απλών ομάδων.